\documentclass[11pt]{article}
\makeatletter
\usepackage{example}
\usepackage{times}
\usepackage{multicol}
\usepackage{oz}
\begin{document}

Multi-letter identifiers have been changed to look
better than they do with vanilla \LaTeX: instead of
$\mathit{specifications}$, you get $specifications$.
The letters haven't been spread apart, and the
ligature $fi$ has been used.

{\tt This is in typewriter font}


\begin{schema}{BirthdayBook}
    known: \pset NAME \\
    birthday: NAME \pfun DATE
\ST
    known = \dom birthday
\end{schema}
\begin{axdef}
limit : \nat
\ST
limit \leq 65536
\end{axdef}
\begin{class}{Shape}
\also
colour : Colour \\
\end{class}
\end{document}
\begin{axdef}
perim : \real
\ST
perim > 0
\end{axdef} \\
\begin{classcom}
This class has 2 constants
$colour$ and $perim$.
\end{classcom} \\
\begin{state}
x, y : \real
\end{state} \\
\begin{init}
x = y = 0
\end{init} \\
\begin{op}{Translate}
\Delta (x,y) \\
dx?, dy? : \real
\ST
x' = x + dx? \\
y' = y + dy?
\end{op}
\end{class}
\end{document}
